<html>
<head><meta charset="utf-8"><title>rustc lecture series: miri · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html">rustc lecture series: miri</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="160009265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160009265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160009265">(Mar 05 2019 at 14:55)</a>:</h4>
<p>Starting soon:</p>
<blockquote>
<p>miri is an interpreter for MIR, Rust's internal representation. miri is the foundation for Rust's compile time evaluation capabilities. Its design enables it to simulate the workings of the machine at a low-level, meaning that it can interpret not only "safe Rust" but also a lot of unsafe Rust code, including complex and highly optimized libraries like the stdlib hashmap. In this talk, compiler team member <span class="user-mention silent" data-user-id="124288">oli</span> will dig into how miri works, giving us some insight into its architecture, the way that it represents and reasons about memory, and what kinds of capabilities it offers for Rust itself. </p>
</blockquote>
<p><a href="https://zoom.us/j/379898279" target="_blank" title="https://zoom.us/j/379898279">Join Zoom Meeting</a></p>



<a name="160017335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160017335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160017335">(Mar 05 2019 at 16:29)</a>:</h4>
<p>The notes are under <a href="https://hackmd.io/XRfNKbtQSzK9sqZtwhc6Wg" target="_blank" title="https://hackmd.io/XRfNKbtQSzK9sqZtwhc6Wg">https://hackmd.io/XRfNKbtQSzK9sqZtwhc6Wg#</a></p>



<a name="160017411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160017411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160017411">(Mar 05 2019 at 16:30)</a>:</h4>
<p>I can't wait to watch the recording, thanks <span class="user-mention" data-user-id="124288">@oli</span> and <span class="user-mention" data-user-id="116009">@nikomatsakis</span>!</p>



<a name="160018119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160018119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160018119">(Mar 05 2019 at 16:38)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span>  has it started ? Zoom says "wait for host to start the meeting" to me</p>



<a name="160018155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160018155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160018155">(Mar 05 2019 at 16:38)</a>:</h4>
<p><span class="user-mention" data-user-id="128294">@blitzerr</span> the meeting is over; a recording should be available on youtube soon</p>



<a name="160018165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160018165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160018165">(Mar 05 2019 at 16:39)</a>:</h4>
<p>until then, there's the hackmd notes above.</p>



<a name="160018170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160018170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160018170">(Mar 05 2019 at 16:39)</a>:</h4>
<p>:D</p>



<a name="160018766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160018766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160018766">(Mar 05 2019 at 16:47)</a>:</h4>
<p>I'll try to post the video ASAP; it's currently "converting" into mp4 format (60%)</p>



<a name="160018778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160018778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160018778">(Mar 05 2019 at 16:47)</a>:</h4>
<p>then I have to trim off the part at the beginning which we spent trying to figure out how to present:)</p>



<a name="160049224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160049224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Cem Karan <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160049224">(Mar 05 2019 at 22:58)</a>:</h4>
<blockquote>
<p>The notes are under <a href="https://hackmd.io/XRfNKbtQSzK9sqZtwhc6Wg" target="_blank" title="https://hackmd.io/XRfNKbtQSzK9sqZtwhc6Wg">https://hackmd.io/XRfNKbtQSzK9sqZtwhc6Wg#</a></p>
</blockquote>
<p>Thank you for presenting, and thank you for the notes!  I'm just sorry I couldn't stay for the whole thing; I'll have to watch the video.</p>



<a name="160088079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160088079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160088079">(Mar 06 2019 at 11:41)</a>:</h4>
<p>Video has been uploaded and Niko has posted a link on <a href="https://internals.rust-lang.org/t/compiler-lecture-series/9227/43?u=davidtwco" target="_blank" title="https://internals.rust-lang.org/t/compiler-lecture-series/9227/43?u=davidtwco">the internals forum</a> for those interested.</p>



<a name="160095171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc%20lecture%20series%3A%20miri/near/160095171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc.20lecture.20series.3A.20miri.html#160095171">(Mar 06 2019 at 13:33)</a>:</h4>
<p>That talk was really great.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>